(gnus-prompt-before-saving): Use `other' widget

type.

diff --git a/lisp/gnus/gnus-art.el b/lisp/gnus/gnus-art.el
index 7ba8a9de5938b52ef4ca3d1f9a65f3b2fadb39d3..71c09dce6f7f13a3b25a5224cea82a173416ce69 100644 (file)
--- a/lisp/gnus/gnus-art.el
+++ b/lisp/gnus/gnus-art.el
@@ -268,7 +268,7 @@ each invocation of the saving commands."
   :group 'gnus-article-saving
   :type '(choice (item always)
                 (item :tag "never" nil)
-                (sexp :tag "once" :format "%t")))
+                (other :tag "once" t)))
 
 (defcustom gnus-saved-headers gnus-visible-headers
   "Headers to keep if `gnus-save-all-headers' is nil.